Train Benchmark Case: an EMF-INCQUERY Solution
نویسندگان
چکیده
Automated model transformations are frequently integrated with modeling environments, requiring both high performance and a concise programming interface to support software engineers. The objective of the EMF-INCQUERY [2] framework is to provide a declarative way to define queries over EMF models. EMF-INCQUERY extended the pattern language of VIATRA2 with new features (including transitive closure, role navigation, match count) and tailored it to EMF models [4]. EMF-INCQUERY is developed with a focus on incremental query evaluation, however, the most recent version is also capable of evaluating queries with a local search-based algorithm.
منابع مشابه
PN2SC Case Study: An EMF-IncQuery solution
Automated model transformations are a key factor in modern model-driven system engineering in order to query, derive and manipulate large, industrial models. Since such transformations are frequently integrated to modeling environments, they need to provide fast reaction time to support software engineers. The objective of the EMF-INCQUERY [3] framework is to provide a declarative way to define...
متن کاملMovie Database Case: An EMF-IncQuery Solution
Automated model transformations are frequently integrated to modeling environments, requiring both high performance and a concise programming interface to support software engineers. The objective of the EMF-INCQUERY [2] framework is to provide a declarative way to define queries over EMF models. EMF-INCQUERY extended the pattern language of VIATRA with new features (including transitive closur...
متن کاملThe ATL/EMFTVM Solution to the Train Benchmark Case
This paper describes a solution of the TTC 2015 Train Benchmark Case [4] made with ATL [2] and the EMF Transformation Virtual Machine (EMFTVM) runtime engine [5]. The Train Benchmark Case consists of several model validation and model repair tasks: three main tasks and two extension tasks. All of these tasks are run again increasing model sizes in order to measure the performance of each soluti...
متن کاملSolving the TTC Train Benchmark Case with FunnyQT
This paper describes the FunnyQT1 [1, 2] solution of the TTC 2015 Train Benchmark Case [3]. All core and extension tasks have been solved. The solution project is available on Github2, and it is set up for easy reproduction on a SHARE image3. This solution won the overall quality award for this case. FunnyQT is a model querying and transformation library for the functional Lisp dialect Clojure4...
متن کاملDerived Features for EMF by Integrating Advanced Model Queries
When designing complex domain-specific languages, metamodels are frequently enriched with derived features that correspond to attribute values or references (edges) representing computed information in the model. In the popular Eclipse Modeling Framework, these are typically implemented as imperative Java code. In the paper, we propose to integrate the EMF-IncQuery model query framework to the ...
متن کامل